Recognizing immense potential and iterating toward greatness

The immense potential of xenotransplantation in surgery.

There is a limited availability of deceased human organs and cells for the purposes of clinical transplantation. Genetically-engineered pigs may provide an alternative source. Although several immune barriers need to be overcome, considerable progress has been made in experimental models in recent years, largely through the increasing availability of pigs with new genetic modifications. Pig het...

Toward selecting and recognizing natural landmarks

Landmarks are often used as a basis for mobile robot navigation. In this paper, we consider the problem of automatically selecting from a set of 3D features the subset which is most likely to be recognized from noisy monocular image data and is least likely to be confused with any other group of features. Assuming perspective projection, real valued recognition functions are constructed for a s...

Iterating Octagons

In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct consequence of this fact is that the reachability problem is decidable for flat counter automata with octagonal transition relations. This result improves the previous results of Comon and Jurski [7] and Bozga, Iosif and Lakhnec...

Iterating Transducers

Iterating Definiteness

A central concept in the study of vagueness is the concept of a borderline case. This concept has its most basic application when we are faced with a question of the form ‘Is x F?’, but are unwilling to answer ‘Yes’ or ‘No’ for a certain distinctive kind of reason. Wanting to be co-operative, we need to say something; by saying ‘It’s a borderline case’, we excuse our failure to give a straightf...